/*#include <iostream>
#include <typeinfo>
#include "worker_thread_manager.h"


WorkerThreadManager::WorkerThreadManager()
{
	free_threads = new ThreadList();
	for (int i=0; i<8; i++)
		add_free_thread();

	busy_thread_count = 0;
}


WorkerThreadManager::~WorkerThreadManager()
{
	delete free_threads;
}


void WorkerThreadManager::add_free_thread()
{
	free_threads->push(new WorkerThread(this));
}


void WorkerThreadManager::notify_end(WorkerThread *worker_thread)
{
	free_threads->push(worker_thread);
	busy_thread_count--;
}


void WorkerThreadManager::log(char *status)
{
	std::cout << typeid(*this).hash_code() << ": " << status << std::endl;
}
*/